Sal 2
نویسندگان
چکیده
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and witness model checkers. The bounded model checker can use several different SAT solvers, while the infinite bounded model checker similarly can use several different ground decision procedures. SAL 2 provides a scriptable API for its basic model checking and analysis functions that can be used to extend the system. All four new model checkers are implemented using this interface. Its high-level specification language and wide range of model checkers make SAL convenient for those seeking a ready-to-use solution, while its scriptability and flexible choice of backend analyzers should make it attractive to those seeking an experimental platform.
منابع مشابه
Synthesis and Properties of Two Energetic Salts Based on 1-Amino-2-nitroguanidine
Dois materiais energéticos, ricos em nitrogênio, baseados em 1-amino-2-nitroguanidina foram sintetizados. O comportamento térmico, propriedades termo-dinâmicas, estruturas eletrônicas e propriedades de detonação foram investigados. As curvas de calorimetria exploratória diferencial (DSC) mostram que 1-amino-2-nitroguanidina 2,4,5-trinitroimidazol (sal 1) pode ser usado como lançador de explosiv...
متن کاملIntra-amygdala microinjections of chlorpheniramine impair memory formation or memory retrieval in anxiety- and fear-mediated models
H1 receptor histaminergic antagonist, chlorpheniramine (CPA) participates in cognitive performance in various animal models. However, little is known regarding the effects of CPA microinjection into the amygdala on emotional behavior. The purpose of this study was to investigate whether CPA microinjection into the amygdala has the same effect on two models, one anxiety- and the other fear-media...
متن کاملDifferential cell death induced by salsolinol with and without copper: possible role of reactive oxygen species.
Salsolinol (SAL), a novel dopaminergic catechol tetrahydroisoquinoline neurotoxin, has been speculated to contribute to the etiology of Parkinson's disease and neuropathology of chronic alcoholism. Our previous studies have demonstrated that SAL induces strand scission in øX174 supercoiled DNA and oxidative base modification in calf thymus DNA in the presence of cupric ion. We now report that t...
متن کاملEfficacy and Safety of Umeclidinium Added to Fluticasone Propionate/Salmeterol in Patients with COPD: Results of Two Randomized, Double-Blind Studies.
Combinations of drugs with distinct and complementary mechanisms of action may offer improved efficacy in the treatment of chronic obstructive pulmonary disease (COPD). In two 12-week, double-blind, parallel-group studies, patients with COPD were randomized 1:1:1 to once-daily umeclidinium (UMEC; 62.5 μg and 125 μg) or placebo (PBO), added to twice-daily fluticasone propionate/salmeterol (FP/SA...
متن کاملPoly(lactic-co-glycolic acid) nanoparticles conjugated with CD133 aptamers for targeted salinomycin delivery to CD133+ osteosarcoma cancer stem cells
BACKGROUND Cancer stem cells (CSCs) possess the characteristics associated with normal stem cells and are responsible for cancer initiation, recurrence, and metastasis. CD133 is regarded as a CSCs marker of osteosarcoma, which is the most common primary bone malignancy in childhood and adolescence. Salinomycin, a polyether ionophore antibiotic, has been shown to kill various CSCs, including ost...
متن کاملSyntheses, crystal structures and magnetic properties of a series of μ-phenoxo-μ1,1-carboxylato-μ1,3-carboxylato trinickel(II) compounds.
The work in this report describes the syntheses, characterization, crystal structures and magnetic properties of eight linear trinickel(ii) compounds of the composition [Ni(II)3(L(sal-pyr))2(propionate)4] (), [Ni(II)3(L(sal-pyr))2(benzoate)4]·CH3CN (), [Ni(II)3(L(sal-pip))2(acetate)4]·2CH3CN (), [Ni(II)3(L(sal-pip))2(propionate)4] (), [Ni(II)3(L(sal-pip))2(benzoate)4]·CH2Cl2 (), [Ni(II)3(L(sal-...
متن کامل